Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets
نویسندگان
چکیده
Interpreted Petri Nets (IPNs) are an extension of the basic Petri Net (PN) framework. They are ordinary PNs with additional components to model the information flow to and from the PN. This contribution gives a general overview of the control design process. Furthermore, it shows how the different tasks in this process, especially analysis, verification and validation, can be successfully solved within the formal IPN framework.
منابع مشابه
An Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets
In this contribution an integrated design approach for logic control systems is presented. The approach is based on Signal Interpreted Petri Nets (SIPN), a Petri Net model extending condition event nets with means for the input and output of signals. The presented method starts from an informal description of the controller and proceeds over the steps design, formal verification and validation ...
متن کاملA Senior Course on Logic Process Control based on Petri Nets
In this contribution we present the basic concepts of a senior course on logic process control based on Petri Nets. This course is an introduction to basic design concepts and description formalisms of industrial logic control systems. It is mandatory for all students of electrical engineering specializing in the field of automation. One of the examples used throughout the course to illustrate ...
متن کاملSupporting the Changeability of Sipn-based Logic Control Algorithms by Verification and Validation
In this paper the advantages of verification and validation to support changes of an existing PLC program are shown. The controller is defined using Signal Interpreted Petri Nets (SIPN) and verification and validation are performed using symbolic model-checking. The main focus of this paper is to show the process and the benefits of verification and validation for the reliability of the control...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998